Efficient Anticipatory Reasoning for Anticipatory Systems with Requirements of High Reliability and High Security

A practical anticipatory system with requirements of high reliability and high security must be able to perform any anticipatory reasoning to get enough effective conclusions anticipatorily within an acceptable time in order to satisfy the requirements from applications. This is a contradictory requirement since the execution time of anticipatory reasoning gets longer in proportion to the amount increasement of deduced conclusions. We are developing a forward deduction system for general-purpose entailment calculus, named EnCal. Although EnCal is a forward deduction engine for general-purpose entailment calculus, we expect that it can serve as the forward deduction engine in an anticipatory system to perform anticipatory reasoning based on temporal relevant logics. The key issue to achieve this goal is the efficiency of EnCal. This paper presents results and their implications of our experiences on improving the efficiency of EnCal by parallel processing techniques.